Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
191	WINGS ACCOUNTING INTERFACE ( V E R SI O NG ENERAL The Wings Accounting Interface (WAI) is conceived as a COM Automation Server. This implies that it supports dual interfaces, in other words both early and late bin Add to Reading List Source URL: www.wings.be Language: English - Date: 2013-12-03 09:14:52 Boolean algebra Boolean data type Computer programming Q Constructor Software engineering Data types Computing
192	Three-Valued Logics Notation: p, q, r atomic formulas; A, B, C arbitrary formulas Values = {T, F, N} Valuation = assignment of a value from Values to each atomic formula Can be extended to an assignment of values to each Add to Reading List Source URL: johnmacfarlane.net Language: English Propositional calculus Semantics Boolean algebra Logical connective Truth table Valuation If and only if Tautology Natural deduction Abstract algebra Logic Mathematics
193	Symmetric Lenses Martin Hofmann Benjamin Pierce Daniel Wagner Add to Reading List Source URL: dmwit.com Language: English - Date: 2011-01-31 16:10:19 Algebraic logic Camera lens Anamorphism Fold Heap Surjective function Binary relation Boolean algebra Mathematics Mathematical logic Mathematical analysis
194	3. Wishlist Fig. 1 Fig. 2 Add to Reading List Source URL: docs.g-vo.org Language: English - Date: 2011-10-17 05:19:12 Data types Boolean algebra Boolean data type J Literal Constant Software engineering Computer programming Computing
195	CCCG 2006, Kingston, Ontario, August 14–16, 2006 Minimizing the Number of Arcs Linking a Permutation of Points in the Plane Stephane Durocher∗ Chris Gray† Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-27 22:59:44 Applied mathematics Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Permutation Theoretical computer science Mathematics NP-complete problems
196	ICS 1F — Winter 1998 — Midterm Name: Student ID: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 1998-02-10 16:51:49 Mathematical logic Propositional calculus Semantics Digital circuits Binary arithmetic Binary numeral system Boolean circuit Truth table FO Mathematics Boolean algebra Theoretical computer science
197	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
198	Relevance Logic John MacFarlane—Philosophy 142 March 29, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-29 14:48:50 Logical consequence Deduction Boolean algebra Entailment Disjunctive syllogism Validity Modus ponens Disjunctive normal form Relevance logic Logic Rules of inference Propositional calculus
199	A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms Joseph Goguen Dept. Computer Science & Engineering University of California, San Diego Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2001-11-18 00:50:05 Mathematical structures Algebraic structures Algebras Algebra over a field Structure Term algebra Boolean algebra Universal enveloping algebra Clifford algebra Abstract algebra Algebra Mathematics
200	Journal of Universal Computer Science, vol. 11, no), submitted: , accepted: 4/6/05, appeared: © J.UCS Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Mod Add to Reading List Source URL: jucs.org Language: English - Date: 2006-11-02 05:53:39 Rebec FO Mathematical logic Mathematics Boolean algebra Theoretical computer science Boolean data type

UPDATE